21. Domain-specific program generation : International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003 : revised papers

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Generative programming )Computer science(,Congresses ، Programming languages )Electronic computers(,Congresses ، Parallel programming )Computer science(

رده :
QA
76
.
L28
Vol
.
3016

22. Domain-theoretic foundations of functional programming

پدیدآورنده:

کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)

موضوع: Programming languages (Electronic computers) -- Semantics,Computer science -- Mathematics,Functionele programmering,Domein (wiskunde)

رده :
QA
76
.
7
.
S818
2006

23. Essential.NET

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع: Microsoft .NET,Common Language Runtime (Computer science),Component software,Programming languages (Electronic computers)

رده :
QA76
.
76
.
M52
,
B69
2003

24. Expert advisor programming :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Expert systems (Computer science),Foreign exchange -- Computer programs.,Programming languages (Electronic computers)

رده :
Z52
.
5
.
M52
A537
2010

25. Exploring Robotics with ROBOTIS Systems

پدیدآورنده:

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Computer science. , Programming languages (Electronic computers) , Artificial intelligence.

رده :
E-Book
,

26. Formal Methods and Software Development :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Programming languages (Electronic computers),Software engineering.

27. Formal and natural computing : essays dedicated to Grzegorz Rozenberg

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Programming languages )Electronic computers(,، Computer science -- Mathematics,، Machine theory,، Petri nets,، Graph grammars,، Rozenberg, Grzegorz

رده :
QA
76
.
L28
Vol
.
2300

28. Foundations of Programming Languages /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Microprogramming.,Programming languages (Electronic computers),Computer science.,Computer Science.,Control Structures and Microprogramming.,Mathematical and Computational Engineering.,Microprogramming.,Programming languages (Electronic computers),Programming Languages, Compilers, Interpreters.,Computer science.,Microprogramming.,Programming languages (Electronic computers)

رده :
QA76
.
76
.
C65

29. Foundations of object-oriented languages

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Object-oriented programming (Computer science),Programming languages (Electronic computers)

رده :
QA
,
76
.
64
,.
B776
,
2002

30. Foundations of object-oriented languages : REX School/Workshop Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : Proceedings

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Object-oriented programming )Computer science(,Congresses ، Programming languages )Electronic computers(

رده :
QA
76
.
L28
Vol
.
489

31. Foundations of object-oriented languages: REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990: Proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Object-oriented programming )Computer science(-- Congresses,، Programming languages )Electronic computers(-- Congresses

رده :
QA
76
.
64
.
R49
1990

32. Fundamentals of Python :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Programming languages (Electronic computers),Python (Computer program language),Data structures (Computer science),Object-oriented programming (Computer science),Python (Computer program language)

رده :
QA76
.
73
.
P98
L353
2019

33. Generalized quantifiers and computation

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Programming languages (Electronic computers), Congresses.

34. Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop : Aix-en-Provence, France, August 11-12, 1997 : revised lectures

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Computer science -- Mathematics,، Computer logic,، Programming languages )Electronic computers(

رده :
QA
76
.
L28
Vol
.
1754

35. Grammars and automata for string processing: from mathematics and computer science to biology, and back

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Computer science,، Programming languages )Electronic computers(-- Mathematics,، Mathematical linguistics,، Formal languages

رده :
QA
76
.
G64
2003

36. Grammars and automata for string processing : from mathematics and computer science to biology, and back

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Mathematics ، Computer science,Mathematics ، Programming languages )Electronic computers(,، Mathematical linguistics,، Formal languages,، Molecular biology,، Paun, Gheorghe, 0591-

رده :
QA
76
.
G69

37. Graph data model and its data language

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)

موضوع: Data base management,Data structures )Computer science(,Programming languages )Electronic computers(

رده :
QA
.
D3K86
76
.
9
1990

38. Great papers in computer science

پدیدآورنده:

کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)

موضوع: ، Computer science,، Programming languages )Electronic computers(

39. Indexing techniques for advanced database systems

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Object-oriented databases,، Object-oriented programming )Computer science(,، Database management,، Programming languages )Electronic computers(

رده :
QA
76
.
9
.
D3
.
I523
1997

40. Initial computability, algebraic specifications, and partial algebras

پدیدآورنده:

کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)

موضوع: Computer science - Mathematics,Data structures (Computer science),Programming languages (Electronic computers) - Semantics,Partial algebras

رده :
QA
76
.
9
.
M35R45
1987